ביאור שטיינזלץ על משנה תורה, הלכות ביאת מקדש ט׳